National Institute of Informatics - PDFSEARCH.IO - Document Search Engine

National Institute of Informatics
Results: 523

#	Item
71	Polynomial Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda (Tohoku University) Kazuhiro Inaba (National Institute of Informatics) Keisuke Nakano (the University of Elec Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English* - Date: 2013-05-31 02:47:36 Lambda calculus Currying Functional programming Equation solving Logarithm Z-transform
72	WoLLICAbstract Families of Abstract Categorial Languages Makoto Kanazawa 1 National Institute of Informatics Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:58:48
73	An Efficient Algorithm for Solving Pseudo Clique Enumeration Problem Takeaki Uno National Institute of Informatics 2-1-2, Hitotsubashi, Chiyoda-ku, Tokyo, Japan, Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-09-24 01:42:12
74	Correlation Bounds Against Monotone NC1 Benjamin Rossman∗ National Institute of Informatics, Tokyo, Japan Simons Institute for the Theory of Computation, Berkeley, USA Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2015-05-27 10:18:39
75	One Simple Ontology for Linked Data Sets Lihua Zhao and Ryutaro Ichise Principles of Informatics Research Division, National Institute of Informatics, Tokyo, Japan, {lihua, ichise}@nii.ac.jp Add to Reading List Source URL: iswc2011.semanticweb.org Language: English - Date: 2011-09-19 14:58:17
76	NTCIR Test Collection (Research Purpose Use) FY ________ Research Activities Report To: NTCIR Project, National Institute of Informatics Add to Reading List Source URL: research.nii.ac.jp - Date: 2011-04-20 01:06:23
77	Approaches to Global Navigation Satellite System applications in Belarus large-scale farm production Dr. Yuri Fedulov, Eng. Sergey Reshetnik, United Institute of Informatics Problems, National Academy of Sciences of Bela Add to Reading List Source URL: www.unoosa.org Language: English - Date: 2010-07-02 08:44:23
78	EVIA 2013 Proceedings of the 5th International Workshop on Evaluating Information Access (EVIA), A Satellite Workshop of the NTCIR-10 Conference, June 18, 2013 Tokyo Japan ©2013 National Institute of Informatics ISBN: 9 Add to Reading List Source URL: research.nii.ac.jp - Date: 2013-05-22 18:25:38
79	NTCIR -10 Conference Proceedings of the 10th NTCIR Conference on Evaluation of Information Access Technologies, June 18-21, 2013 Tokyo Japan ©2013 National Institute of Informatics ISBN: ISBN1 Published Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2013-05-24 04:37:10
80	http://research.nii.ac.jp/il/web/KUBIC_2014/ Add to Reading List Source URL: www.kuicr.kyoto-u.ac.jp Language: English - Date: 2014-11-20 23:31:52 National Institute of Informatics Bioinformatics Science Academia Systems biology Kansai Big Six Kyoto University Kyoto

UPDATE